Ausführbare UML-Modelle multimodaler Interaktionsanwendungen
نویسندگان
چکیده
Komplexe interaktive Anwendungen stellen sowohl für die Nutzer als auch für die Entwickler eine große Herausforderung dar. Ein Beispiel für eine solche Anwendung ist das Infotainmentsystem in modernen Fahrzeugen. Der Nutzer wird bei der Bedienung durch Multimodalität (Sprachbedienung neben der grafisch-haptischen Bedienung) unterstützt, um die Ablenkung während des Fahrens zu reduzieren. Da die Kombination der verschiedenen Interaktionsmöglichkeiten die Komplexität der Anwendung deutlich erhöht, ist es notwendig, die Entwicklung dieser Systeme möglichst optimal zu unterstützen. Wir stellen einen Ansatz zur Modellierung multimodaler interaktiver Anwendungen in Form einer domänenspezifischen Modellierungssprache vor. UML-Zustandsautomaten werden in erweiterter Form verwendet, so dass sie die Integration von Benutzerschnittstellen verschiedener Modalitäten zu ausführbaren Modellen einer multimodalen Anwendung ermöglichen. Die Funktionalität einer Anwendung in Kombination mit den unterschiedlichen Einund Ausgabemodalitäten kann in unserem erstellten Werkzeug umgesetzt und durch Simulation validiert werden.
منابع مشابه
Erzeugung detaillierter und ausführbarer Geschäftsprozessmodelle durch Modell-zu-Modell-Transformationen
Es wird ein Ansatz vorgestellt, mit dem sich aus grobgranularen fachlichen Geschäftsprozessmodellen detaillierte, ggf. auch technisch verfeinerte, ausführbare Modelle in verschiedenen Zielnotationen erzeugen lassen. Hierzu wird ein der modellgetriebenen Software-Entwicklung vergleichbarer Ansatz gewählt, bei dem Modellelemente geeignet ausgezeichnet und dann mit Hilfe von parametrisierbaren Tem...
متن کاملEntwurf eingebetteter Systeme: ausführbare Modelle und Fehlersuche
With increasing complexity of technical systems, model-driven development gains increasing signi cance. In the past, graphical models were mainly used for documentation purposes. Today the semantics of modeling languages are speci ed in a way that allows to use them as programming languages to describe software. This thesis evaluates the question which requirements must be ful lled by a exible ...
متن کاملTransformationen zwischen UML-Use-Case-Diagrammen und tabellarischen Darstellungen
In den frühen Phasen eines Softwareprojekts steht die Modellierung in einem besonderen Spannungsfeld: Entweder sind die Modelle formal genug, um verifizieren zu können, dass sie richtig modelliert wurden, oder umgangssprachlich genug, damit beim Kunden validiert werden kann, ob das Richtige modelliert wurde. Aus diesem Grund eignen sich komplexere Modelle zur Szenario-Darstellung (z.B. UML-Sequ...
متن کاملAutomatisiertes Data Discovery innerhalb eines Provisionierungstools
Das Provisioning Tool automaIT wurde prototypisch um die Möglichkeit eines Data Discovery erweitert, mit dem Ziel nicht durch automaIT verwaltete Systeme anbinden und steuern zu können. Daten aus dem Data Discovery werden mittels dem Tool Facter gesammelt und können dynamisch in ausführbare Modelle von automaIT integriert und ausgewertet werden. Dadurch kann der Verlauf weiterer Provisionierung...
متن کاملIntegration von Model-Driven Development und formaler Verifikation in den Softwareentwicklungsprozess - eine Fallstudie mit einem 3D-Tracking-System
Bei modellgetriebener Softwareentwicklung werden Modelle entwickelt und aus diesen ausführbare Software generiert. Durch die Verknüpfung mit formaler Verifikation können Fehler in den Modellen gefunden und so der Ansatz der modellgetriebenen Softwareentwicklung verbessert werden. Diese Arbeit untersucht anhand von zwei Fallstudien, wie aktuelle Forschungsergebnisse im Bereich der Modellierung u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- i-com
دوره 10 شماره
صفحات -
تاریخ انتشار 2011